Divisible MV-algebras as an algebraic model for fuzzy control
نویسنده
چکیده
In this paper we shall describe a very natural extension of MV-algebras, the divisible MV-algebras (DMV). Such algebraic structures will be used to give a formal description of rules of fuzzy control.
منابع مشابه
MV-algebras with internal states and probabilistic fuzzy logics
In this paper we enlarge the language of MV-algebras by a unary operation r equationally described so as to preserve the basic properties of a state in its original meaning. The resulting class of algebras will be called MV-algebras with internal state (or SMV-algebras for short). After discussing some basic algebraic properties of SMV-algebras, we apply them to the study of the coherence probl...
متن کاملSemi-G-filters, Stonean filters, MTL-filters, divisible filters, BL-filters and regular filters in residuated lattices
At present, the filter theory of $BL$textit{-}algebras has been widelystudied, and some important results have been published (see for examplecite{4}, cite{5}, cite{xi}, cite{6}, cite{7}). In other works such ascite{BP}, cite{vii}, cite{xiii}, cite{xvi} a study of a filter theory inthe more general setting of residuated lattices is done, generalizing thatfor $BL$textit{-}algebras. Note that fil...
متن کاملFUZZY OBSTINATE IDEALS IN MV-ALGEBRAS
In this paper, we introduce the notion of fuzzy obstinate ideals in MV -algebras. Some properties of fuzzy obstinateideals are given. Not only we give some characterizations of fuzzy obstinate ideals, but also bring the extension theorem of fuzzy obstinate ideal of an MV -algebra A. We investigate the relationships between fuzzy obstinate ideals and the other fuzzy ideals of an MV -algebra. We ...
متن کاملmuMV-algebras: An approach to fixed points in Lukasiewicz logic
We study an extension of MV algebras, called μMV algebras, in which minimal and maximal fixed points are definable. The first result is that μMV algebras are term-wise equivalent to divisible MV∆algebras, i.e. a combination of two known extensions of MV algebras: divisible MV algebras [4] and MV∆algebras [6]. Using methods from the two known extensions we derive a number of results about μMV al...
متن کاملSTONE DUALITY FOR R0-ALGEBRAS WITH INTERNAL STATES
$Rsb{0}$-algebras, which were proved to be equivalent to Esteva and Godo's NM-algebras modelled by Fodor's nilpotent minimum t-norm, are the equivalent algebraic semantics of the left-continuous t-norm based fuzzy logic firstly introduced by Guo-jun Wang in the mid 1990s.In this paper, we first establish a Stone duality for the category of MV-skeletons of $Rsb{0}$-algebras and the category of t...
متن کامل